https://filesoo.com/product/36943/an-introduction-to-constraint-based-temporal-reasoning